81. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Central Library and Document Center of Shahid Madani University of Azarbayjan (East Azarbaijan)
Subject: Automatic theorem proving,Logic, Symbolic and mathematical
Classification :
QA
,
76
.
9
,.
A96B87
82. A resolution principle for a logic with restricted quantifiers
Author: H.-J. Burckert
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
568
83. A tight, practical integration of relations and functions
Author: Harold Boley
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic programming,، Functional programming )Computer science(,، Relational databases
Classification :
QA
76
.
L28
Vol
.
1712
84. ACCV 2014--Computer Vision
Author: / Hsuan Yang-Daniel Cremers, Ian Reid, Hideo Saito, Ming
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK
85. ACCV 2014--Computer Vision
Author: / Hsuan Yang-Daniel Cremers, Ian Reid, Hideo Saito, Ming
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK
86. ACCV 2014--Computer Vision
Author: / Hsuan Yang-Daniel Cremers, Ian Reid, Hideo Saito, Ming
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK
87. ACCV 2014--Computer Vision
Author: / Hsuan Yang-Daniel Cremers, Ian Reid, Hideo Saito, Ming
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
88. ACCV 2014--Computer Vision
Author: / Hsuan Yang-Daniel Cremers, Ian Reid, Hideo Saito, Ming
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY|ROBOTICS
Classification :
E-BOOK
89. ACCV 2009تComputer Vision
Author: / ichiro Taniguchi, Stephen Maybank-Hongbin Zha, Rin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
90. ACCV 2012تComputer Vision
Author: / Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
91. ACCV 2010تComputer Vision
Author: / Ron Kimmel, Reinhard Klette, Akihiro Sugimoto
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
92. ACCV 2012تComputer Vision
Author: / Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
93. ACCV 2010تComputer Vision
Author: / Ron Kimmel, Reinhard Klette, Akihiro Sugimoto
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
94. ACCV 2010تComputer Vision
Author: / Ron Kimmel, Reinhard Klette, Akihiro Sugimoto
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
95. ACCV 2009تComputer Vision
Author: / ichiro Taniguchi, Stephen Maybank-Hongbin Zha, Rin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
96. ACCV 2009تComputer Vision
Author: / ichiro Taniguchi, Stephen Maybank-Hongbin Zha, Rin
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, SOFTWARE ENGINEERING|ROBOTICS
Classification :
E-BOOK
97. ACCV 2012تComputer Vision
Author: / Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
98. ACCV 2012تComputer Vision
Author: / Kyoung Mu Lee, Yasuyuki Matsushita, James M. Rehg, Zhanyi Hu
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|ROBOTICS
Classification :
E-BOOK
99. ACM Turing Award lectures :
Author:
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computers.,Electronic data processing.,Informatique.,Ordinateurs.,Computers.,Computers.,Electronic data processing.,Informatik,Informatique-- Histoire.,Informatique.,Ordinateurs.,Programmeren (computers)
Classification :
QA76
.
24
.
A33
1987
100. ADVANCED ARTIFICIAL INTELLIGENCE
Author: / SHI ZHONGZHI
Library: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
Subject: COMPUTER SCIENCE, ARTIFICIAL INTELLIGENCE|COMPUTER SCIENCE, INFORMATION TECHNOLOGY
Classification :
E-BOOK
